$\forall$$g$:IMonoid, $a$:$\mid$$g$$\mid$. IsMonHom\{$<\mathbb{Z}$+$>\downarrow$hgrp,$g$\}($\lambda$$n$.nat($n$) $\cdot$ $a$)